Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
441	Aftermath & Antimath (antiscience fiction) Add to Reading List Source URL: www.gallup.unm.edu Language: English - Date: 2012-04-19 18:33:09 Philosophical logic Non-classical logic Mathematical logic Axiology Modal logic Function Mathematical proof Type theory Mathematics Logic Knowledge
442	Part of Speech Tagging from a Logical Point of View Torbjorn Lager1 and Joakim Nivre2 1 Uppsala University, Department of Linguistics, [removed] Add to Reading List Source URL: www.ling.gu.se Language: English - Date: 2003-08-18 05:17:07 Knowledge Part-of-speech tagging Brill tagger Hidden Markov model Constraint Grammar Inference Viterbi algorithm Ontology Modal logic Science Markov models Logic
443	[removed], [removed] Epistemic Containment Revisited Harris Constantinou (UCL; University of Leeds), Hans Van de Koot (UCL) Synopsis. We suggest a revision of Von Fintel & Iatridou’s[removed]Ep Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:12:05 Philosophical logic Modal logic Computing QP Software Logic Non-classical logic
444	Which Style of Reasoning to Choose in the Face of Conflicting Information?∗ Joke Meheus Christian Straßer Peter Verd´ee Centre for Logic and Philosophy of Science University of Ghent, Belgium {Joke.Meheus,Christian.S Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-06-04 07:55:54 Knowledge representation Logic programming Default logic Defeasible reasoning Modal logic Entailment Nixon diamond Paraconsistent logic Logic Non-classical logic Philosophical logic
445	A modal language for contextual computations Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science University of Ghent (Belgium) June 27, 2012 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-06-27 07:55:59 Model theory Proof theory Propositional calculus Natural deduction Entailment Modal logic Interpretation Valuation Kripke semantics Logic Philosophical logic Deduction
446	The current issue and full text archive of this journal is available at www.emeraldinsight.com[removed]htm EJM 45,7/8 Add to Reading List Source URL: www.sdlogic.net Language: English - Date: 2012-02-16 14:45:40 Service dominant logic Science Philosophical logic Knowledge Co-creation Service science management and engineering Modal logic Mathematical logic Logic Interdisciplinary fields Non-classical logic
447	Dynamic Proof Theories For Input/Output Logic Christian Straßer, Mathieu Beirlaen, and Frederik Van De Putte Centre for Logic and Philosophy of Science Ghent University August 28, 2013 Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-08-29 06:09:36 Non-classical logic Modal logic Philosophical logic Model theory Deontic logic Default logic Function Interpretation Dc Logic Mathematical logic Mathematics
448	ON THE NECESSITY OF (SOMETIMES) BEING SYNTHETIC COMMENT ON POGGIOLESI Giuseppe Primiero Universiteit Gent IEG – University of Oxford Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-19 09:13:33 Non-classical logic Mathematical logic Logical syntax Mathematical proof Paraconsistent logic Intuitionism Analytic proof Modal logic Formal proof Logic Philosophical logic Proof theory
449	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: www.raai.org Language: English - Date: 2004-01-22 06:27:56 Science Modal logic Abductive reasoning Inference Logic Reasoning Knowledge
450	THE H OLY G RAIL: IN PURSUIT OF THE DISSERTATION PROPOSAL Michael Watts Institute of International Studies University of California, Berkeley “[T]here is too little emphasis ... on what it means to do independent resea Add to Reading List Source URL: dusk.geo.orst.edu Language: English - Date: 2004-01-14 22:31:47 Logic Branches of philosophy Non-classical logic Causality Conditionals Question Epistemology Validity Modal logic Science Philosophy of science Knowledge

UPDATE